Definition empty_state : State := fun _ => None.